#491: replace device for W3C