fix a $DEVICE slipup