better date string formatting