small fix to make work under IE