Fix error reported by Drupal.org's test bot.