fixing a bug related to not cleaning up solved goals.