Apparently, this was one of those flukes that happen because of some obscure combination of events. After logging out and logging in again, I have not been able to duplicate the problem. This thread can be closed unless the admins think that it is worth pursuing further.