diff --git a/test-normalizer.sed b/test-normalizer.sed
index 97b8c63c2eee5611528c8145d278bb2de7ebebfc..7a35762d96be486482bf46b3d369ff79c1ac1339 100644
--- a/test-normalizer.sed
+++ b/test-normalizer.sed
@@ -1,2 +1,4 @@
 # adjust for https://github.com/coq/coq/pull/13656
 s/subgoal/goal/g
+# merge with subsequent line for https://github.com/coq/coq/pull/14999
+/[0-9]* focused goals\?$/{N;s/\n */ /;}