TransitionGenerator fixed