Fix many typos in the comments and documentation; no functionality change. Thanks to Michael Morin for the patch