Minor stylistic change