Wall Street is back after the 4th of July holiday, in a session punctuated by the publication of PMI services indicators for the major economies.