minor fixes, mostly for IE