fix output of checkCast