Small adjustments in comments