minor stylistic updates