patch for readthedoc fix