Minor modifications in comments