Fix reachability.cpp