Minor misc. edits.