Some more minor improvements for IE*grrr*