diff --git a/examples/Core/constDivZero.cr b/examples/Core/constDivZero.cr
index da116f5..f25e208 100644
--- a/examples/Core/constDivZero.cr
+++ b/examples/Core/constDivZero.cr
@@ -1,3 +1,3 @@
 k x y = x;
-main = k 3 ((/#) 1 0);
+main = k 3 (/# 1 0);
 
diff --git a/examples/Core/factorial.cr b/examples/Core/factorial.cr
index 1080c7b..305e9d8 100644
--- a/examples/Core/factorial.cr
+++ b/examples/Core/factorial.cr
@@ -1,6 +1,6 @@
 fac n = case (==#) n 0 of
     { <1> -> 1
-    ; <0> -> (*#) n (fac ((-#) n 1))
+    ; <0> -> *# n (fac (-# n 1))
     };
 
 main = fac 3;