make "readthedocs" happy...