fix small typographic errors in comments

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.