Fixes #813

Dear IE10 users, my sisters netbook and the Internet Explorer Developer Toolbar salute you.