diff --git a/docs/changelog-docs.md b/docs/changelog-docs.md
index 9d8db8912..c03114204 100644
--- a/docs/changelog-docs.md
+++ b/docs/changelog-docs.md
@@ -186,7 +186,7 @@ search:
     release notes for EasyBuild v3.4.0 (see
     [EasyBuild v3.4.0 (September 10th 2017)][release_notes_eb340])
 - **release 20170906.01** (*Sept 6th 2017*): document
-    `--trace` (see [Tracing progress][trace])
+    `--trace` (see [Tracing progress](tracing-progress.md))
 - **release 20170824.02** (*Aug 24th 2017*): document
     `--inject-checksums` (see [Adding or replacing checksums using `--inject-checksums`][inject_checksums])
 - **release 20170824.01** (*Aug 24th 2017*): document
diff --git a/docs/tracing-progress.md b/docs/tracing-progress.md
index ed9b756fe..cd64f5505 100644
--- a/docs/tracing-progress.md
+++ b/docs/tracing-progress.md
@@ -1,4 +1,4 @@
-# Tracing progress {: #trace }
+# Tracing progress
 
 To trace the progress of EasyBuild while it is installing software, you
 can use `eb --trace`.