Fix RTD as per PR#7