fix bad EOR JSON encoding
Merge pull request #76 from thomas-mangin/master

fix issue #75