Small revisions

Author: Blaisorblade

docs/blog/_posts/2018-03-05-seventh-dotty-milestone-release.md

@@ -71,10 +71,10 @@ object Option {
 You can visit our website for more information about [enumerations](/docs/reference/enums/enums.html)
 and how we can use them to model [Algebraic Data Types](/docs/reference/enums/adts.html).
 
-### Ghost terms [#3342](https://github.com/lampepfl/dotty/pull/3342) and remove Phantom types [#3410](https://github.com/lampepfl/dotty/pull/3410)
+### Ghost terms [#3342](https://github.com/lampepfl/dotty/pull/3342) and removing phantom types [#3410](https://github.com/lampepfl/dotty/pull/3410)
 The keyword `ghost` can be placed on parameters, `val` and `def` to enforce that no reference to
 those terms is ever used (recursively). As they are never used, they can safely be removed during compilation.
-These have similar semantics as _phantom types_ but with the added advantage that any type can be an ghost parameter. They can be used to add implicit type constraints that are only relevant at compilation time.
+These have similar semantics as _phantom types_ but with the added advantage that any type can be a ghost parameter. They can be used to add implicit type constraints that are only relevant at compilation time.
 
 ```scala
 // A function that requires an implicit evidence of type X =:= Y but never uses it.