diff --git a/status/explicit-failures-markup.xml b/status/explicit-failures-markup.xml
index 86559439dd..a6acb0a79c 100644
--- a/status/explicit-failures-markup.xml
+++ b/status/explicit-failures-markup.xml
@@ -4042,9 +4042,10 @@ for more information.
+
These tests fail due to a known compiler bug
- that is fixed in more recent releases. Users are
+ that is fixed in more recent GNU compiler releases. Users are
very unlikely to encounter this as a real problem
in practice.
@@ -4184,6 +4185,7 @@ for more information.
+