Minor stylistic correction