Fix docs building on master