yacc: Bug fixes.
Bug fixes.