minor doc fixes [skip ci]