correctness changes