some small fixes for IE compatibility