No need to cast here.