Minor fixes to comments