fix bad EOR JSON encoding