doc fix

[none]