I will do that.

However, I'll have to do it next time (if there is one). The core file is missing, the circumstances were vague, and I can't reproduce.