Minor fixes in eos.js