You are correct, it was Trump who finished off Bush, not Cruz!
Just Trump cultivating support for when it could be most helpful......