(*) Fixed a broken test case for TS