diff --git a/Stdlib/Data/Maybe.juvix b/Stdlib/Data/Maybe.juvix
index 89edc014..f3dbac8d 100644
--- a/Stdlib/Data/Maybe.juvix
+++ b/Stdlib/Data/Maybe.juvix
@@ -55,5 +55,5 @@ applicativeMaybeI : Applicative Maybe :=
     pure := just;
     ap {A B} : Maybe (A -> B) -> Maybe A -> Maybe B
       | (just f) (just x) := just (f x)
-      | _ _ := nothing;
+      | _ _ := nothing
   };