A trivial stylistic change