diff --git a/examples/run-example-027.sh b/examples/run-example-027.sh
index 34b35ea..072fbb0 100755
--- a/examples/run-example-027.sh
+++ b/examples/run-example-027.sh
@@ -87,17 +87,17 @@ find_bug "$EXAMPLE_INPUT" "$EXAMPLE_OUTPUT" -R . Foo || exit $?
 (\* File reduced by coq-bug-minimizer from original input, then from [0-9]\+ lines to [0-9]\+ lines, then from [0-9]\+ lines to [0-9]\+ lines, then from [0-9]\+ lines to [0-9]\+ lines, then from [0-9]\+ lines to [0-9]\+ lines \*)
 (\* coqc version [^\*]*\*)
 \(Module Export Foo_DOT_A_WRAPPED\.\|Module Export Foo\.\)
-Module Export A\.
+Module \(Export \)\?A\.
 Definition foo : Type\.
 Admitted\.
-\?
+
 End A\.
 \(Module Export Foo\.
 Module A\.
 Include Foo_DOT_A_WRAPPED\.A\.
 End A\.
-\)\?
-\?Check Foo\.A\.foo : Set\.
+
+\)\?Check Foo\.A\.foo : Set\.
 
 EOF