removed unecessary nonterminal