commiting a fix already included in later versions of drupal