While not robust compared with past holiday seasons, it was a much better performance than in the August-to-October period.