- oops one more place where HCI device id is used (issue #46)