diff --git a/runner.v b/runner.v
index 4a07e6ba17d3fd1df731a2219eb79b10f55a2dd4..260f47271d69449f0cb9958f658814cadab2596f 100644
--- a/runner.v
+++ b/runner.v
@@ -36,7 +36,7 @@ Qed.
 
 End fix_fin_type.
 
-Section make_map.
+Section assoc_map.
 
 Variable P : eqType.
 
@@ -156,7 +156,7 @@ constructor.
   exact lmap_sizeP.
 Qed.
 
-End make_map.
+End assoc_map.
 
 Lemma inl0 (T : eqType) (x : T) (l : seq T) :
   x \in x :: l.