another minor stylistic change