some minor stylistic fixes