diff --git a/README.md b/README.md
index d21318a98..0e2667954 100644
--- a/README.md
+++ b/README.md
@@ -1608,10 +1608,8 @@ To demonstrate **kcas**
 let's first create a couple of shared memory locations
 
 ```ocaml
-# let x = Loc.make 0
-val x : int Loc.t = <abstr>
-# let y = Loc.make 0
-val y : int Loc.t = <abstr>
+let x = Loc.make 0
+let y = Loc.make 0
 ```
 
 and spawn a domain