minor stylistic fixes