4 files changed, 2 insertions, 11 deletions
diff --git a/docs/docs/contributing/eclipse.md b/docs/docs/contributing/eclipse.md
index 46301dc42..9afe28355 100644
--- a/docs/docs/contributing/eclipse.md
+++ b/docs/docs/contributing/eclipse.md
@@ -1,11 +1,8 @@
 ---
 layout: default
-title: Eclipse
+title: "Building Dotty with Eclipse"
 ---
 
-Building Dotty with Eclipse
-===========================
-
 Build setup
 -----------
 You may need to redo these steps when the build changes.
diff --git a/docs/docs/contributing/getting-started.md b/docs/docs/contributing/getting-started.md
index 92afd02f3..bea5b6962 100644
--- a/docs/docs/contributing/getting-started.md
+++ b/docs/docs/contributing/getting-started.md
@@ -3,9 +3,6 @@ layout: default
 title: "Getting Started"
 ---
 
-Getting Started
-===============
-
 Talks on Dotty
 --------------
 - [Scala's Road Ahead](https://www.youtube.com/watch?v=GHzWqJKFCk4) by Martin Odersky [\[slides\]](http://www.slideshare.net/Odersky/scala-days-nyc-2016)
diff --git a/docs/docs/contributing/intellij-idea.md b/docs/docs/contributing/intellij-idea.md
index dda04f515..9231f209a 100644
--- a/docs/docs/contributing/intellij-idea.md
+++ b/docs/docs/contributing/intellij-idea.md
@@ -1,9 +1,8 @@
 ---
 layout: default
+title: "Building Dotty with Intellij IDEA"
 ---
 
-Building Dotty with Intellij IDEA
-=================================
 Dotty compiler support is available in the [Scala plugin nightly] starting
 from 2.2.39. You need to install [IDEA 2016.1] to try it.
 
diff --git a/docs/docs/contributing/workflow.md b/docs/docs/contributing/workflow.md
index e160999d9..a0b9fd528 100644
--- a/docs/docs/contributing/workflow.md
+++ b/docs/docs/contributing/workflow.md
@@ -3,8 +3,6 @@ layout: default
 title: "Workflow"
 ---
 
-Workflow
-========
 This document details common workflow patterns when working with Dotty.
 
 ## Compiling files with dotc ##