minor bugfix in GrammarTest.py