yacc: Minor tweaks