Little fix in test_crash