Removed formatting of time_h early in htmlrepgen.py