Leider mit etwas Verzögerung: WordPress v3.1.1 wurde soeben von mir auf die Version WordPress v3.1.2 aktualisiert.

Wenn irgendetwas nicht wie erwartet funktionieren sollte, bitte einen kleinen Hinweis als Kommentar.