Fix a few very minor comment style inconsistencies