Numerical Analysis of a Corrected Smagorinsky Model