tuning of Grammar.stringify()