Fix a bug with IE<10