Minor verbal change in a comment