Small fix for old IE.