@jeremy: thanks for your reply. But it looks like the only problem was my impatience. The user who got the error message on Sunday reported that the stats were displaying on Monday, without my having changed anything. Since both our computer and the WordPress.com computer were involved, and since our WordPress installation has some server-side caching, I’m not too surprised. But I don’t know what caused the delay.
