Small fix for IE