Fixed bug in devicespecs