Correct TagsCheck to define the type type.