Fixing a few typos in the TPL failure message (TriBITS #41)