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`.