diff --git a/proposed/0145-remove-unnecessary-allocator-usage.html b/proposed/0145-remove-unnecessary-allocator-usage.html
index 3686a9b..a07af82 100644
--- a/proposed/0145-remove-unnecessary-allocator-usage.html
+++ b/proposed/0145-remove-unnecessary-allocator-usage.html
@@ -90,7 +90,7 @@
@@ -459,7 +459,7 @@ The