diff --git a/Pdl/Interpolation.lean b/Pdl/Interpolation.lean
index 17ee68d..4df6633 100644
--- a/Pdl/Interpolation.lean
+++ b/Pdl/Interpolation.lean
@@ -2,7 +2,7 @@ import Mathlib.Data.Finset.Basic
 
 import Pdl.PartInterpolation
 
-/-! # Interpolation (Section 7) -/
+/-! # Interpolation (Sections 2.3 and 7) -/
 
 open vDash HasSat