Minor fixes in eos.js for IE11