Fix documentation in CI