small change in a comment