make readthedocs happy