Fixing readthedocs.org errors