Re #10159. Hopefully fixing the sphinx builds.