yes, good catch: `dateTimeFormat_%X` is only defined to match strftime’s `%X` key (hh:mm:ss), but we don’t need it here. Using `shortTimeFormat` will ensure a better consistency.