Some random change to the correctness slides