Adds a little bit more on correctness testing