I think those lines ensure correctness.