still a bug in get_devs, to fix