a few minor edits/fixes