Fixing RTD problem, which turned out to be a setuptools problem.