diff --git a/INSTALL b/INSTALL
index 2c587bb3f43..3367bc51367 100644
--- a/INSTALL
+++ b/INSTALL
@@ -1,3 +1,5 @@
+INSTALL
+-------
 
 English:     See file README.