The cast is not there any more, and otherObj does need it.