Probably the use of "device independent" had other meaning than the usual.