Date format in CMSB

Hi Guys.

A client wants to display records in the admin with the Day format, rather than just number.  I know it's a hack, but is there any issue in editing lib/menu/default/list_functions.php from

if     ($dayMonthOrder == 'dmy') { $dateFormat = "jS M, Y" . $timeFormat; }

to

if     ($dayMonthOrder == 'dmy') { $dateFormat = "D jS M, Y" . $timeFormat; }