fix one minor Drupal coding standard