Correctness commit