Convergence analysis of the corrected Uzawa algorithm for symmetric saddle point problems