diff --git a/docs/design/expressions/implicit_conversions.md b/docs/design/expressions/implicit_conversions.md
index dc72cff454d3..f96af917399b 100644
--- a/docs/design/expressions/implicit_conversions.md
+++ b/docs/design/expressions/implicit_conversions.md
@@ -207,7 +207,8 @@ extends
 [the `As` interface used to implement `as` expressions](as_expressions.md#extensibility):
 
 ```
-interface ImplicitAs(Dest:! Type) extends As(Dest) {
+interface ImplicitAs(Dest:! Type) {
+  extends As(Dest);
   // Inherited from As(Dest):
   // fn Convert[me: Self]() -> Dest;
 }