Posts were made in the Support and Bugs section of the forums when I found out what was happening. I then reported it to Patrick, and it was fixed very shortly afterwards.
The problem with a banner or an update is that it won't ever happen automatically, because its due to an error that reset doesn't happen. By the time it is discovered and reported, it would be fixed (like today) ASAP.