diff --git a/test-normalizer.sed b/test-normalizer.sed
index a0834f434675d54a586baa487984a69f3c7c67fb..aa93d45fb9a5cfeb18265d0025b1f665bdbe2e23 100644
--- a/test-normalizer.sed
+++ b/test-normalizer.sed
@@ -6,3 +6,5 @@ s/subgoal/goal/g
 /[0-9]* focused goals\?$/{N;s/\n */ /;}
 # locations in Fail added in https://github.com/coq/coq/pull/15174
 /^File/d
+# extra space removed in https://github.com/coq/coq/pull/16130
+s/= $/=/