fixes one of the logicgrammar tests