Small doc updates [skip ci]