Smoothness of weak solutions of the Navier-Stokes equations