Yes, it's something that happens from time to time, presumably due of timing issues in the CPU core.