Some minor changes to comments