workaround for IE