Ensure correct states for conditional branching.
Fix links.