Correct a Recasting Bug