Correct some more ts things