Slight modifications in comments