Minor doc fix

[skip ci]