corrected branch state