This isn't a good check, because this check isn't related to this issue, so IE could change this in IE15, and your fix would fail.
Also I'm wondering if `getStyle` isn't fixed in MooTools Core in the latest master.