diff --git a/README.md b/README.md
index 42f4e6a0..c68cba4a 100644
--- a/README.md
+++ b/README.md
@@ -19,7 +19,7 @@ from Coq to Agda. The authors are
   http://homepages.inf.ed.ac.uk/wadler/
   )
 
-== How to host literal code
+## How to host literal code
 
 In directory `sf/` the following:
 
@@ -35,13 +35,13 @@ For markdown commands see [Daring Fireball](
 https://daringfireball.net/projects/markdown/syntax
 ).
 
-== Important git commands:
+## Important git commands:
 
     git pull
     git commit -am "message"
     git push
 
-== [Unicode abbreviations](
+## [Unicode abbreviations](
 https://github.com/agda/agda/blob/master/src/data/emacs-mode/agda-input.el#L194
 ).
 
@@ -52,7 +52,7 @@ https://github.com/agda/agda/blob/master/src/data/emacs-mode/agda-input.el#L194
 	x\_1   x₁
 	x\_i   xᵢ
 
-== Bindings for [Agda mode](
+## Bindings for [Agda mode](
 http://agda.readthedocs.io/en/latest/tools/emacs-mode.html
 )
 
diff --git a/index.md b/index.md
index 807f0ff3..0aa92552 100644
--- a/index.md
+++ b/index.md
@@ -18,6 +18,8 @@ from Coq to Agda. The authors are
   http://homepages.inf.ed.ac.uk/wadler/
   )
 
+## Contents
+
 <!--
   - [Basics: Functional Programming in Agda]({{ "/Basics" | relative_url }})
 -->