update to Wordpress 3.5.1