US manufacturing PMI misses, as it falls to 51.8. That's not much less than average for the last 12 months (and no one should expect Q3's torrid growth to be duplicated anyway).
