update device name to fix casting