small bug fix in tsp_cs.h