Fixed a bug with reachable space computation