Fix a comment

[skip ci]