Yeah, I noticed that and that's part of the reason I asked. If one pointed out every typo in this document (as well as all other HN submissions), the signal-to-noise ratio of the comments section would be intolerable.