Simple updates for correctness