small changes, and how to write tcs