 He looked into it and he said, really, it was only after seasonal adjustments. If it had not been adjusted, seasonally adjusted, it would have been down 5.6% month over month, which would have tied it for the worst month over month June decline since 1992. So that adjustment was much larger than normal. If they'd used the average adjustment for June, it would have still been down 2.9% month over month.