What do we do with this exception? (Specifically, I'm worried about crashing Ralf, and about whether this error message will be informative enough.)