GMRES is not always restarted anymore.