fixed bad_proposal_syntax bug