minor comments and edits