Fixing time labelling - first line is space-delimited,
then we convert to number by adding zero to strip newline char.
Authored by: lloydwood 2023-04-30
Parent: [r19]
Child: [r21]
