minor edits, mostly doc