minor fixes for IE