Add a valid check to the type check