minor typographic edits