Correct type check