fix trace ok-and-fail case