diff --git a/docs/src/tutorial-loop-unwinding.md b/docs/src/tutorial-loop-unwinding.md
index 81bfbdf68cfb..1f07f6050c9a 100644
--- a/docs/src/tutorial-loop-unwinding.md
+++ b/docs/src/tutorial-loop-unwinding.md
@@ -112,7 +112,7 @@ You can do this by putting this into your `Cargo.toml` file:
 
 ```toml
 [workspace.metadata.kani.flags]
-default-unwind = 1
+default-unwind = "1"
 ```
 
 ## Bounded proof
diff --git a/docs/src/usage.md b/docs/src/usage.md
index f0da9d532119..024a2e7a17aa 100644
--- a/docs/src/usage.md
+++ b/docs/src/usage.md
@@ -61,7 +61,7 @@ For example, if you want to set a default loop unwinding bound (when it's not ot
 
 ```toml
 [package.metadata.kani.flags]
-default-unwind = 1
+default-unwind = "1"
 ```
 
 The options here are the same as on the command line (`cargo kani --help`), and flags (that is, command line arguments that don't take a value) are enabled by setting them to `true`.