Fix contract on tc-result.