diff --git a/src/Stringification/Rust.v b/src/Stringification/Rust.v
index 1089447068..cdcba30266 100644
--- a/src/Stringification/Rust.v
+++ b/src/Stringification/Rust.v
@@ -71,7 +71,7 @@ Module Rust.
        let type_prefix := (if internal_private then "type " else "pub type ")%string in
        (["";
         "#![allow(unused_parens)]";
-        "#[allow(non_camel_case_types)]";
+        "#![allow(non_camel_case_types)]";
         ""]%string
            ++ (List.flat_map
                  (fun bw