Docs follow-up [skip ci]