fix a tiny typo

[ci skip]