fix ktest for strictness example