Fix last documentation build.