Update some minor, just cosmetic changes in comments and documents.