I can confirm that it works to update IE. I was also not running Win7 SP1, I was running Win7 pure. If others have the same problem, note that you cannot install IE10 or 11 on Win7 pure. However, IE9 works fine and fixes the GUI problem after a restart. My friend is running Win7 SP1, and it apparently has IE9.