More accurate comments for nextTransition code