fix a minor IE bug