correct some oldIE-related comments, revert some workarounds