diff --git a/_config.yml b/_config.yml
index 350b9f0..dd72366 100644
--- a/_config.yml
+++ b/_config.yml
@@ -1 +1 @@
-# title: HOL-Light Library for Modal Systems
+title: HOLMS