nikomatsakis fix some typos
Latest commit c5856db May 25, 2017