Fixed a Small Error in formatting...

... and the TC things were defined twice.