Somewhat fix for IE11