Missing message part in correctness check