diff --git a/Developer-guides.md b/Developer-guides.md
index bf5e843..d4613ac 100644
--- a/Developer-guides.md
+++ b/Developer-guides.md
@@ -70,7 +70,7 @@ Unsupported characters in file names will be replaced by `?`. Operations on file
 
 Warning: Saved sessions may no longer be usable when the number of contexts is switched.
 
-### Static compilation
+## Static compilation
 
 Install the GPM development library and set the Makefile variable `O_STATIC`.