minor stylistic change