bugfix in abstract planner