Was that correct? In any case, it crashed again: