Hopefully this fixes the documentation build breakage.