diff --git a/src/solve/canonicalization.md b/src/solve/canonicalization.md
index 0ad22687..e34b13be 100644
--- a/src/solve/canonicalization.md
+++ b/src/solve/canonicalization.md
@@ -3,7 +3,8 @@
 While the exact approach to canonicalization for this solver will differ slightly
 wrt to lifetimes, please visit [the relevant chalk chapter][chalk] for now.
 
-As of 10<!-- date-check --> January 2023, canonicalization is not yet fully implemented
+<!-- date-check: jan 2023 -->
+As of 10 January 2023,  canonicalization is not yet fully implemented
 in the new solver.
 
 [chalk]: https://rust-lang.github.io/chalk/book/canonical_queries/canonicalization.html#canonicalization
\ No newline at end of file