diff --git a/doc/_config.yml b/doc/_config.yml
index 0a45b87..06c6ffe 100644
--- a/doc/_config.yml
+++ b/doc/_config.yml
@@ -19,7 +19,7 @@
 # in the templates via {{ site.myvariable }}.
 
 title: HepLean
-#email: your-email@example.com
+email: HEPLean
 description: >- # this means to ignore newlines until "baseurl:"
   A project to digitalize results from high-energy physics into Lean 4.  
 baseurl: "/HepLean" # the subpath of your site, e.g. /blog