Various minor typos in documentation and comments