diff --git a/modules/lang/fstar/README.org b/modules/lang/fstar/README.org
index e40b253cc..30b025eaa 100644
--- a/modules/lang/fstar/README.org
+++ b/modules/lang/fstar/README.org
@@ -1,5 +1,3 @@
-#+TITLE: :lang fstar
-
 #+TITLE:   lang/fstar
 #+DATE:    February 2, 2020
 #+SINCE:   2.0.10