very minor stylistic change