Fixing a bug with TTC