Minor fixc in comments