Thread Safety Analysis: minor changes to TIL pretty-printing.