diff --git a/tamer/src/asg/ident.rs b/tamer/src/asg/ident.rs
index 7b788173..d76539e2 100644
--- a/tamer/src/asg/ident.rs
+++ b/tamer/src/asg/ident.rs
@@ -236,8 +236,7 @@ impl Ident {
                 Ok(Ident::Ident(name, kind, src))
             }
 
-            // These represent the prolog and epilogue of maps. This
-            // situation will be resolved in the future.
+            // These represent the prologue and epilogue of maps.
             Ident::IdentFragment(
                 _,
                 IdentKind::MapHead
@@ -356,8 +355,7 @@ impl Ident {
                 Ok(self)
             }
 
-            // These represent the prolog and epilogue of maps. This
-            // situation will be resolved in the future.
+            // These represent the prologue and epilogue of maps.
             Ident::IdentFragment(
                 _,
                 IdentKind::MapHead
diff --git a/tamer/src/xir/reader.rs b/tamer/src/xir/reader.rs
index 8edb6c7a..65f17749 100644
--- a/tamer/src/xir/reader.rs
+++ b/tamer/src/xir/reader.rs
@@ -217,7 +217,7 @@ impl<'s, B: BufRead, S: Escaper> XmlXirReader<'s, B, S> {
                         .and_then(|comment| Ok(Token::Comment(comment, span)))
                 }),
 
-                // TODO: This must appear in the Prolog.
+                // TODO: This must appear in the prologue.
                 QuickXmlEvent::Decl(decl) => {
                     match Self::validate_decl(&decl, prev_pos, ctx) {
                         Err(x) => Some(Err(x)),