diff --git a/example/1-example.rzk.md b/example/1-example.rzk.md
index 3aa3a99..693c1f7 100644
--- a/example/1-example.rzk.md
+++ b/example/1-example.rzk.md
@@ -8,7 +8,7 @@ Here's a sample definition to typecheck:
 
 ```rzk
 #define modus-ponens
-  (A B : U)
-  : (A → B) → A → B
+  ( A B : U)
+  : ( A → B) → A → B
   := \ f x → f x
 ```