fix device popup menu
Merge pull request #2 from devernay/master

fix the device numbers in the device popup menu