Small fixes for IE