yacc: fix push parser