Fix typo and example code

docs/docs/reference/contextual/conversions.md

@@ -18,7 +18,7 @@ An implicit conversion is applied automatically by the compiler in three situati
 
 1. If an expression `e` has type `T`, and `T` does not conform to the expression's expected type `S`.
 2. In a selection `e.m` with `e` of type `T`, but `T` defines no member `m`.
-3. In an application `e.m(args)` with `e` of type `T`, if ``T` does define
+3. In an application `e.m(args)` with `e` of type `T`, if `T` does define
    some member(s) named `m`, but none of these members can be applied to the arguments `args`.
 
 In the first case, the compiler looks in the implied scope for a an instance of

docs/docs/reference/contextual/instance-defs.md

@@ -41,7 +41,7 @@ The name of an implied instance can be left out. So the implied instance definit
 of the last section can also be expressed like this:
 ```scala
 implied for Ord[Int] { ... }
-implied [T: Ord] for Ord[List[T]] { ... }
+implied [T] given (ord: Ord[T]) for Ord[List[T]] { ... }
 ```
 If the name of an instance is missing, the compiler will synthesize a name from
 the type(s) in the `for` clause.