diff --git a/design/mvp/WIT.md b/design/mvp/WIT.md
index f7c58af7..0172e43e 100644
--- a/design/mvp/WIT.md
+++ b/design/mvp/WIT.md
@@ -1613,8 +1613,6 @@ use-names-item ::= id
                  | id 'as' id
 ```
 
-Note: Here `use-names-list?` means at least one `use-name-list` term.
-
 ## Items: type
 
 There are a number of methods of defining types in a `wit` package, and all of