[*] changed JSON format for websockets