Minor improvements to comments