Fix copy re: subgoals