Fix (temporary?) for the new CDF patch which
returns time in a format different from before