Fix a copy+pasto in a comment.