Inserting two comments (minor changes)