made small stylistic change