STM: Goal printing got wrong in a merge, fixed