Smaller improvements in comments