for the benefit of readthedocs.org