fix typos; other minor edits