Report update.
Correctness check.