proper capitalization of several acronyms in comments/docs