Fix missing case from parsing_error().