User display name not used in email notifications for comments

Email notifications for comments added to a page do not display a user's display name, but their user name. This is not ideal as some users have automatically generated usernames in Active Directory that are meaningless when displayed (e.g. jksdf4567, seriously!). This seems like a small oversight in the email templates, easily fixed as a core modification, but probably should be fixed in the core product.