diff --git a/docs/DafnyRef/integration- rust/IntegrationRust.md b/docs/DafnyRef/integration- rust/IntegrationRust.md
index e85f9589c3d..6eb44ff9d4b 100644
--- a/docs/DafnyRef/integration- rust/IntegrationRust.md	
+++ b/docs/DafnyRef/integration- rust/IntegrationRust.md	
@@ -181,4 +181,4 @@ fn main() {
 # Tests
 
 * Methods with the `{:test}` attribute will produce an equivalent `#[test]` method that can be run via `cargo test` on the code produced by `dafny build`.
-* Modules with the `{:rust_cfg_test}` attribute will have the attribute`#[cfg(test)]` when translated to Rust
\ No newline at end of file
+* Modules with the `{:rust_cfg_test}` attribute will have the attribute `#[cfg(test)]` when translated to Rust.
\ No newline at end of file