simplification correction