Tolerate missing seconds when formatting server times