docs: Fix a typo in motivation.md

docs/docs/reference/contextual/motivation-new.md

@@ -49,7 +49,7 @@ The following pages introduce a redesign of contextual abstractions in Scala. Th
 
  1. [Given Instances](./givens.md) are a new way to define basic terms that can be synthesized.  They replace implicit definitions. The core principle of the proposal is that, rather than mixing the `implicit` modifier with a large number of features, we have a single way to define terms that can be synthesized for types.
 
- 2. [Using Clauses](./context-parameters.md) define are a new syntax for implicit _parameters_ and their _arguments_. It unambiguously aligns parameters and arguments, solving a number of language warts. It also allows us to have several with clauses in a definition.
+ 2. [Using Clauses](./context-parameters.md) are a new syntax for implicit _parameters_ and their _arguments_. It unambiguously aligns parameters and arguments, solving a number of language warts. It also allows us to have several `using` clauses in a definition.
 
  3. ["Given" Imports](./given-imports.md) are a new class of import selectors that specifically import
     givens and nothing else.

docs/docs/reference/contextual/motivation.md

@@ -4,7 +4,7 @@ title: "Overview"
 ---
 
 **Note** The syntax described in this section is currently under revision.
-[Here is the new version which will be implemented in Dotty 0.22](./motovation-new.html).
+[Here is the new version which will be implemented in Dotty 0.22](./motivation-new.html).
 
 ### Critique of the Status Quo