fix syntax error in wt_core_unstuck