slight change to TypeTests