small IE fix

a really small fix to avoid errors on IE