Fix another bug in devio.py