Fix that will hopefully make readthedocs work.