diff --git a/src/goto-programs/README.md b/src/goto-programs/README.md
index a10780e7e22..02a86a18a36 100644
--- a/src/goto-programs/README.md
+++ b/src/goto-programs/README.md
@@ -30,7 +30,7 @@ used depends on whether it is internal or being presented to the user.
 The comment lines are generated from the `source_location` field
 of the `instructiont` structure.
 
-\section data_structures Data Structures
+\section goto_data_structures Data Structures
 
 A \ref goto_functionst object contains a set of GOTO programs. Note the
 counter-intuitive naming: `goto_functionst` instances are the top level
diff --git a/src/util/README.md b/src/util/README.md
index 84a9035afa4..1c289477fdc 100644
--- a/src/util/README.md
+++ b/src/util/README.md
@@ -5,7 +5,7 @@
 
 \author Martin Brain, Owen Jones, Chris Smowton
 
-\section data_structures Data Structures
+\section util_data_structures Data Structures
 
 \ref util contains some of the key data-structures used in the
 CPROVER codebase.