Fix #67: Various enhancements for IE browsers