Med facit i hand verkar ADP- och Paychex-siffrorna för juni ha varit korrekta.