diff --git a/static/verify.sh b/static/verify.sh
index afbcaa3..5a2a877 100755
--- a/static/verify.sh
+++ b/static/verify.sh
@@ -9,6 +9,7 @@ curl \
   --data language=ECMASCRIPT5 \
   --data warning_level=verbose \
   --data externs_url=https://www.cosmopolite.org/externs/cosmopolite.js \
+  --data externs_url=https://www.cosmopolite.org/externs/hogfather.js \
   --data externs_url=https://raw.githubusercontent.com/google/closure-compiler/master/contrib/externs/google_visualization_api.js \
   --data-urlencode "js_externs@externs.js" \
   --data-urlencode "js_code@babystats.js" \