diff --git a/design/mvp/WIT.md b/design/mvp/WIT.md
index 2ea7a382..fd9fc971 100644
--- a/design/mvp/WIT.md
+++ b/design/mvp/WIT.md
@@ -380,7 +380,7 @@ world world-using-a {
 }
 
 world invalid-union-world {
-    include my-using-a with { a as b }  // invalid: 'a', which is short for 'local:demo/a', is an interface name
+    include world-using-a with { a as b }  // invalid: 'a', which is short for 'local:demo/a', is an interface name
 }
 
 ```