upgrade to WordPress 3.5.1