re-instating a <dfn> for deviceId