Small doc fixes

[skip ci]