upgrading to wordpress 3.5.1