made more Device objects json-friendly