Add cross refs for done and then