Workaround RTD's annoying hack