Fix a "dev.rst" line to work also under Python 3