Fix a number of broken .ts files in git