Correct output for ^ dead state.