Fix cold documentation build.