Bug fix: typo in yacc config (should not have effect, but still...).
Cosmetic. Preparing work on logging.