Fix RTD bug