Removed bug for transitions.NFARunWindow