Small tweak in comments