make nfa graph nicer