diff --git a/semialgebraic_universal_covers_v2.txt b/semialgebraic_universal_covers_v2.txt
index 848e312..4b3bbd6 100644
--- a/semialgebraic_universal_covers_v2.txt
+++ b/semialgebraic_universal_covers_v2.txt
@@ -50,7 +50,7 @@ Retaining normal singularities of F is essential to the statement.
 The theorem does not replace F by a smooth resolution.
 
 
-(1) HOW TO READ THIS FILE
+(1) STRUCTURE OF THE PROOF
 -------------------------
 
 The proof splits cleanly into two directions.