More stupid fixes for readthedocs