minor fix

[ci skip]