Correction in CheckCast