Fixed bug in HumanLogFormatter.

Also duplicated some code of TTCC.