Just a small error in a comment.