debug JSON encoding (WTF)