minor edits in comments