add a comment about the IE workaround