correct branching