Minor bugfix for device enumeration