Small changes in drupal-devel.