fix non-terminal typo