diff --git a/book/src/kimchi/lookup.md b/book/src/kimchi/lookup.md
index 4f5b19b0b9..612923c212 100644
--- a/book/src/kimchi/lookup.md
+++ b/book/src/kimchi/lookup.md
@@ -10,8 +10,7 @@ We integrate $\plookup$ in kimchi with the following differences:
 
 * we snake-ify the sorted table instead of wrapping it around (see later)
 * we allow fixed-ahead-of-time linear combinations of columns of the queries we make
-<!-- This sentence must be changed if we update ../../../kimchi/src/circuits/lookup/tables/mod.rs -->
-* we implemented different tables, like RangeCheck and XOR.
+* we implemented different tables, like RangeCheck and XOR. <!-- This sentence must be changed if we update ../../../kimchi/src/circuits/lookup/tables/mod.rs -->
 * we allow several lookups (or queries) to be performed within the same row
 * zero-knowledgeness is added in a specific way (see later)