Minor changes to support IE