bug in JSON generation deviceTypes : FIXED