Improve docs slightly [skip ci]