Updated to Drupal core 7.25