v. f_0.1.3
Bugfix: Correctly retrieve the device number when more than 10 devices are listed.