Sorry about that. Now it is fixed (at least most of them). I had to do some automatic updates of the underlying wordpress database and I guess that one of them messed the capitalization. I'll need to explore what happened in more detail.