very minor changes to comments