small fixes for IE