fix for getting the right on / reachable states