diff --git a/docs/DESIGN.md b/docs/DESIGN.md
index 3b0c72e..a653200 100644
--- a/docs/DESIGN.md
+++ b/docs/DESIGN.md
@@ -1744,8 +1744,8 @@ separable from the typeclass machinery itself, and the LLM-utility
 case for primitive `Show` is weak (LLM-natural form is `int_to_str
 x`, not `show x` through a single-instance class). The user-class
 end-to-end path is the milestone's typeclass acceptance gate
-(the user-defined-class fixture: `class Foo a` + `data IntBox` + `instance Foo IntBox`
-fixture); see `docs/specs/2026-05-09-22-typeclasses.md`
+(the user-defined-class fixture: `class Foo a` + `data IntBox` +
+`instance Foo IntBox`); see `docs/specs/2026-05-09-22-typeclasses.md`
 "Amendments" for the substantive rationale.
 
 A future milestone may add a Prelude when concrete LLM-author code