diff --git a/source/basic.tex b/source/basic.tex
index 7fa8b01b1a..b25702a164 100644
--- a/source/basic.tex
+++ b/source/basic.tex
@@ -7828,8 +7828,8 @@
 
 \pnum
 \indexdefn{evaluation semantics|see{contract evaluation semantics}}%
-\indexdefn{checking semantics|see{contract evaluation semantics!checking}}%
-\indexdefn{terminating semantics|see{contract evaluation semantics!terminating}}%
+\indexdefn{checking semantics|see{contract evaluation semantics, checking}}%
+\indexdefn{terminating semantics|see{contract evaluation semantics, terminating}}%
 An evaluation of a contract assertion
 uses one of the following four \defn{evaluation semantics}:
 \defnx{ignore}{contract evaluation semantics!ignore},