small stylistic correction