diff --git a/boogie_ast/src/boogie_program/mod.rs b/boogie_ast/src/boogie_program/mod.rs
index ac2f62d1ff75..ffd3960e10b1 100644
--- a/boogie_ast/src/boogie_program/mod.rs
+++ b/boogie_ast/src/boogie_program/mod.rs
@@ -200,7 +200,7 @@ pub struct Function {
     return_type: Type,
     // a body is optional (e.g. SMT built-ins)
     body: Option<Expr>,
-    // Boogie attributes, e.g. `{:bvbuiltin "bvnot}`
+    // Boogie attributes, e.g. `{:bvbuiltin "bvnot"}`
     attributes: Vec<String>,
 }