IE mobile fixes

These two commits fix all the issues I can find in IE mobile.