diff --git a/scribblings/curnel.scrbl b/scribblings/curnel.scrbl
index 1bad8e1..5875b2b 100644
--- a/scribblings/curnel.scrbl
+++ b/scribblings/curnel.scrbl
@@ -28,7 +28,6 @@ restricted impredicative universe.
 
 @examples[#:eval curnel-eval
           (Type 1)]
-}
 
 @examples[#:eval curnel-eval
           Type]