Followup questions!
1) Are you by any chance using a 32-bit OS? (Under windows, you can go to the start menu search bar and type System Information, then look for System Type.)
2) Any chance you could provide us your system specs?
I know you said it's not a huge deal, but we're still trying to get info on this bug, since we can't reproduce it. If nothing else, so we can track it in case anyone else encounters it!