Fix various small typographic errors in comments. Many occurrences are in javadoc comments whose output is visible in the published APIs, but some are in private code comments.