more general tidying of IE fixes