minor correction in capitalization of a comment