Little fix for IE9