Porting over revert of reachability regression
Update README.md