Re-annotate crash test correctly