Fix for compatibility with IE10