Fix readthedocs bug (hopefully)