tiny tweak to date formatting