Minor bug fix in unfold_goal