If we don't multiply the 1/m, it's not possible to compare the primal objectives with other solvers. In my experience, the normalization doesn't affect the convergence, even a bit faster. But to make sure this, shall I send an email to Michal?