Fix an error reported by Lauren Vogel in IE 8