Fedora 18, how to change time display in header

I want to add the month and date to the time formate that is displayed in the screen header.
I want the format to be Mon Feb 18 1:53 PM. How can I do this?
Currently there is no way to do this in the system settings wizard.