Using strftime() would be more natural here.