Fix docs building