fixed `No Subgoals!` handling