fixing an IE bug