Bugfix: Sx in $format_time prints out wrong values when number of seconds ends with...