Further cleanup for traits post

Author: aturon

_posts/2015-05-11-traits.md

@@ -70,7 +70,7 @@ closely related:
 
 ```rust
 struct Point {
-    x: f64;
+    x: f64,
     y: f64,
 }
 
@@ -231,7 +231,7 @@ advance**.  That is, when you compile `HashMap` in isolation, its code is
 checked *once* for type correctness against the abstract `Hash` and `Eq` traits,
 rather than being checked repeatedly when applied to concrete types. That means
 earlier, clearer compilation errors for library authors, and less typechecking
-overhead for clients.
+overhead (i.e., faster compilation) for clients.
 
 ### Dynamic dispatch
 
@@ -415,7 +415,7 @@ help!
 [zero-cost-cpp]: http://www.stroustrup.com/abstraction-and-machine.pdf
 [fearless]: http://blog.rust-lang.org/2015/04/10/Fearless-Concurrency.html
 [dst5]: http://smallcultfollowing.com/babysteps/blog/2014/01/05/dst-take-5/
-[adhoc]: dl.acm.org/citation.cfm?id=75283
+[adhoc]: http://dl.acm.org/citation.cfm?id=75283
 [socket]: http://blog.skylight.io/rust-means-never-having-to-close-a-socket/
 [post1]: http://internals.rust-lang.org/t/priorities-after-1-0/1901
 [virtual]: http://smallcultfollowing.com/babysteps/blog/2015/05/05/where-rusts-enum-shines/