Now that readthedocs works properly