diff --git a/docs/specs/2026-05-20-operator-routing-eq-ord.md b/docs/specs/2026-05-20-operator-routing-eq-ord.md
index 523f36a..524e442 100644
--- a/docs/specs/2026-05-20-operator-routing-eq-ord.md
+++ b/docs/specs/2026-05-20-operator-routing-eq-ord.md
@@ -110,7 +110,7 @@ follow: lit patterns inherit equality dispatch by construction.
   (data Point
     (ctor Point (con Int) (con Int)))
   (instance
-    (class Eq)
+    (class prelude.Eq)
     (type (con Point))
     (method eq
       (body (lam (params (typed p1 (con Point)) (typed p2 (con Point))) (ret (con Bool))