IE8 Bug in Button.js gefixt: Random exceptions at document.selection.empty()