Improve a comment for correctness.