I think it is a pretty common way of displaying time with zero-padded hours, minutes and seconds.

However the example code does not do that currently.

Expected example output:
01:05:01

Actual example output:
1:5:1

I will create a PR for this.