Corrected type check instruction