yeah, you're right, it could be a bug. but i guess i am just wondering what the bug is in. it seems to happen in both kernels, and is a very rare issue. it could be some type of corruption as well.