Minor improvements in comments