Seems more like your RAM needed to be flushed via a reboot. Sometimes graphics card drivers also need a clean boot. Everyone gets this problem once in a while. Not too serious.... if it occurs more frequently however, then come back and report that!