make the correctness test pass