Fixed a bug: backward consistency of parse_single_SQL_output