very minor edits to comments