One tiny extra improvement to the handling of time-values-with-milliseconds-in-recodes.