minor stylistic editing