Ahh, I didn't intend to commit that.

(BTW, good news is IE10 doesn't suffer from this issue any more)