diff --git a/examples/ordering_match.ail.json b/examples/ordering_match.ail.json
index f7d8e7b..57264de 100644
--- a/examples/ordering_match.ail.json
+++ b/examples/ordering_match.ail.json
@@ -9,11 +9,15 @@
       "type": {
         "k": "fn",
         "params": [],
-        "ret": { "k": "con", "name": "Unit" },
-        "effects": ["IO"]
+        "ret": {
+          "k": "con",
+          "name": "Unit"
+        },
+        "effects": [
+          "IO"
+        ]
       },
       "params": [],
-      "doc": "Iter 23.1 fixture: pattern-match on prelude Ordering ctor without explicit prelude import.",
       "body": {
         "t": "do",
         "op": "io/print_int",
@@ -22,27 +26,58 @@
             "t": "match",
             "scrutinee": {
               "t": "ctor",
-              "type": "Ordering",
+              "type": "prelude.Ordering",
               "ctor": "LT",
               "args": []
             },
             "arms": [
               {
-                "pat": { "p": "ctor", "ctor": "LT", "fields": [] },
-                "body": { "t": "lit", "lit": { "kind": "int", "value": 1 } }
+                "pat": {
+                  "p": "ctor",
+                  "ctor": "LT",
+                  "fields": []
+                },
+                "body": {
+                  "t": "lit",
+                  "lit": {
+                    "kind": "int",
+                    "value": 1
+                  }
+                }
               },
               {
-                "pat": { "p": "ctor", "ctor": "EQ", "fields": [] },
-                "body": { "t": "lit", "lit": { "kind": "int", "value": 2 } }
+                "pat": {
+                  "p": "ctor",
+                  "ctor": "EQ",
+                  "fields": []
+                },
+                "body": {
+                  "t": "lit",
+                  "lit": {
+                    "kind": "int",
+                    "value": 2
+                  }
+                }
               },
               {
-                "pat": { "p": "ctor", "ctor": "GT", "fields": [] },
-                "body": { "t": "lit", "lit": { "kind": "int", "value": 3 } }
+                "pat": {
+                  "p": "ctor",
+                  "ctor": "GT",
+                  "fields": []
+                },
+                "body": {
+                  "t": "lit",
+                  "lit": {
+                    "kind": "int",
+                    "value": 3
+                  }
+                }
               }
             ]
           }
         ]
-      }
+      },
+      "doc": "Iter 23.1 fixture: pattern-match on prelude Ordering ctor without explicit prelude import."
     }
   ]
-}
+}
\ No newline at end of file
diff --git a/examples/test_22b1_dup_a.ail.json b/examples/test_22b1_dup_a.ail.json
index c22009e..cb36035 100644
--- a/examples/test_22b1_dup_a.ail.json
+++ b/examples/test_22b1_dup_a.ail.json
@@ -2,7 +2,9 @@
   "schema": "ailang/v0",
   "name": "test_22b1_dup_a",
   "imports": [
-    { "module": "test_22b1_dup_b" }
+    {
+      "module": "test_22b1_dup_b"
+    }
   ],
   "defs": [
     {
@@ -14,8 +16,16 @@
           "name": "show",
           "type": {
             "k": "fn",
-            "params": [{ "k": "var", "name": "a" }],
-            "ret": { "k": "con", "name": "Str" },
+            "params": [
+              {
+                "k": "var",
+                "name": "a"
+              }
+            ],
+            "ret": {
+              "k": "con",
+              "name": "Str"
+            },
             "effects": []
           }
         }
@@ -24,13 +34,22 @@
     {
       "kind": "instance",
       "class": "Show",
-      "type": { "k": "con", "name": "MyInt" },
+      "type": {
+        "k": "con",
+        "name": "test_22b1_dup_b.MyInt"
+      },
       "methods": [
         {
           "name": "show",
-          "body": { "t": "lit", "lit": { "kind": "str", "value": "from-a" } }
+          "body": {
+            "t": "lit",
+            "lit": {
+              "kind": "str",
+              "value": "from-a"
+            }
+          }
         }
       ]
     }
   ]
-}
+}
\ No newline at end of file