diff --git a/lib/util.mli b/lib/util.mli
index 2cdab8d8..dc39f3c8 100644
--- a/lib/util.mli
+++ b/lib/util.mli
@@ -6,25 +6,25 @@
 
    Here is some sample JSON data:
 {v
-\{
+{
   "id": "398eb027",
   "name": "John Doe",
   "pages": [
-    \{
+    {
       "id": 1,
       "title": "The Art of Flipping Coins",
       "url": "http://example.com/398eb027/1"
     },
-    \{
+    {
       "id": 2,
       "deleted": true
     },
-    \{
+    {
       "id": 3,
       "title": "Artichoke Salad",
       "url": "http://example.com/398eb027/3"
     },
-    \{
+    {
       "id": 4,
       "title": "Flying Bananas",
       "url": "http://example.com/398eb027/4"