Workaround for IE10

First step to fix #413 and #412.