diff --git a/src/doc/rustc-dev-guide/ci/sembr/src/main.rs b/src/doc/rustc-dev-guide/ci/sembr/src/main.rs
index 6f4ce4415f04..1de0638deb97 100644
--- a/src/doc/rustc-dev-guide/ci/sembr/src/main.rs
+++ b/src/doc/rustc-dev-guide/ci/sembr/src/main.rs
@@ -83,6 +83,7 @@ fn ignore(line: &str, in_code_block: bool) -> bool {
         || line.contains(" etc.")
         || line.contains("i.e.")
         || line.contains("et. al")
+        || line.contains("<!-- date-check ")
         || line.contains('|')
         || line.trim_start().starts_with('>')
         || line.starts_with('#')
diff --git a/src/doc/rustc-dev-guide/src/tests/compiletest.md b/src/doc/rustc-dev-guide/src/tests/compiletest.md
index f0da634129ee..5c4dfb6e0dd1 100644
--- a/src/doc/rustc-dev-guide/src/tests/compiletest.md
+++ b/src/doc/rustc-dev-guide/src/tests/compiletest.md
@@ -788,7 +788,8 @@ only apply to the test as a whole, not to particular revisions.
 The only directives that are intended to really work when customized to a revision are
 error patterns and compiler flags.
 
-<!-- date-check jul 2023 --> The following test suites support revisions:
+<!-- date-check jul 2023 -->
+The following test suites support revisions:
 
 - ui
 - assembly