bugfix in device path