Hi John
From time to time this does happen.
Windows does, more often than not, have the facility to correct itself when this occurs.
If the machine is running ok then I would ignore it.
Don't fix what isn't broken. :)
The error message that you have posted refers to a mini-dump file.
This is the location of the information Windows has gathered relating to the problem.
Our problem is that more often than not, the information stored makes no sense at all.