As mysteriously as this bug appeared, it has disappeared. I can no longer reproduce this crash (which was 100% reproducible before). I have no explanation for this. Eric