Fixing docs for readthedocs.org