Fix issue with documentation config in readthedocs.org