diff --git a/docs/guard-inventory.md b/docs/guard-inventory.md
index 6fa7bd622..a8654f167 100644
--- a/docs/guard-inventory.md
+++ b/docs/guard-inventory.md
@@ -355,7 +355,7 @@ clause-provable and the entry is regraded.
 
 ## What the numbers say
 
-43 guards, 6 tooling scripts, 21 proof files. **21 guards carry a mutation proof; 6 are
+44 guards, 6 tooling scripts, 21 proof files. **22 guards carry a mutation proof; 6 are
 behaviour-only; 16 have none.** These figures are asserted against the table by
 `test_the_summary_counts_match_the_table` — they were wrong in the first draft (28/4/6/3/19 against
 a table holding 27/5/6/3/18), because a hand-maintained summary of a table is a second copy of it,