Fix read_interrupting_device