(execute_cfa_program): Fix typo in the last change.