#523: fix invalid device type