Fix for old IE compatibility; should probably just drop support for old IE.