Fixed a reachability exploration bug