Fix documentation

- [skip ci]