Bug #12875: This causes problems in IE11, and doesn't appear to be needed anymore