0.4.3: minor tweak to devices listing