Link to date_format function refers to drupal-6 instead of drupal-7

drupal7:/srv/www/htdocs/sites/all/modules/agenda # grep "The first" *
agenda.admin.php: '#description' => t('The first parameter provided to format_date; small, medium, large or custom.'),

The url should point to .../7/... (drupal 7) and not 6 for drupal-7. The date_format function is quite different between drupal version 6 and 7