From what I could see in the code we only ever move nodes that are in the unreachable set to down. Yes, that arrow from joining should go.