The epsilon transitions from the new initial state were labelled with empty,
should be epsilon