Bug fix---fixed a typo.
Flesh out the crash report.