Fix documentation build