Fix for readthedocs.org.