Tweak to get the readthedocs to work