fixing link to "control flow doc"