Minor fixes to the comments