diff --git a/docs/docs/internals/syntax.md b/docs/docs/internals/syntax.md
index 3f6470833a08..127a8cc71b51 100644
--- a/docs/docs/internals/syntax.md
+++ b/docs/docs/internals/syntax.md
@@ -157,7 +157,7 @@ SimpleType        ::=  SimpleType TypeArgs
                     |  StableId
                     |  Path ‘.’ ‘type’                                          SingletonTypeTree(p)
                     |  ‘(’ ArgTypes ‘)’                                         Tuple(ts)
-                    |  ‘_’ SubtypeBounds
+                    |  ‘?’ SubtypeBounds
                     |  Refinement                                               RefinedTypeTree(EmptyTree, refinement)
                     |  SimpleLiteral                                            SingletonTypeTree(l)
                     |  ‘$’ ‘{’ Block ‘}’
diff --git a/docs/docs/reference/changed-features/vararg-patterns.md b/docs/docs/reference/changed-features/vararg-patterns.md
index 77123d8e6f5e..6dc3946e71f7 100644
--- a/docs/docs/reference/changed-features/vararg-patterns.md
+++ b/docs/docs/reference/changed-features/vararg-patterns.md
@@ -36,5 +36,8 @@ The change to the grammar is:
 
 ## Compatibility considerations
 
-Under the `-language:Scala2Compat` option, Dotty will accept both the old and the new syntax.
-A migration warning will be emitted when the old syntax is encountered.
+To enable smooth cross compilation between Scala 2 and Scala 3, Dotty will
+accept both the old and the new syntax. Under the `-strict` setting, an error
+will be emitted when the old syntax is encountered. They will be enabled by
+default in version 3.1 of the language.
+