Small fixes.

Author: DarkDimius

blog/_posts/2017-05-31-first-dotty-milestone-release.md

@@ -62,7 +62,7 @@ supports Dotty. To try it out:
 3. That's it!
 
 
-# What’s in the 0.1.2-RC1 technology preview ?
+# What’s in the 0.1.2-RC1 technology preview?
 This technology preview demonstrates new language features planned for Scala 3:
 
   - [Intersection Types](http://dotty.epfl.ch/docs/reference/intersection-types.html)
@@ -107,14 +107,14 @@ Martin Odersky ([@odersky](https://twitter.com/odersky))
 Dmitry Petrashko ([@DarkDimius](https://twitter.com/DarkDimius)),
 Guillaume Martres ([@smarter](https://github.com/smarter)),
 Felix Mulder ([@felixmulder](https://twitter.com/felixmulder)),
-Nicolas Stucki ([@stucki_nicolas](https://twitter.com/stucki_nicolas)),
+Nicolas Stucki ([@nicolasstucki](https://github.com/nicolasstucki)),
 Liu Fengyun ([@liufengyun](https://github.com/liufengyun)),
 Olivier Blanvillain ([@OlivierBlanvillain](https://github.com/OlivierBlanvillain)),
 and others!
 
 ## Library authors: Join our community build
 
-Dotty now has a set of libraries that are build against every nightly snapshot.
+Dotty now has a set of libraries that are built against every nightly snapshot.
 Currently this includes scalatest, squants and algebra.
 Join our [community build](https://github.com/lampepfl/dotty-community-build)
  to make sure that our regression suite includes your library.