Re: Fix documentation build