backed out an IE7 workaround; (ticket #5866)

Also, added a comment about the need to keep another workaround for IE9
(ticket #13553).