Fix #152: print device type and property