They had entered the country illegally, yes. But there was nothing they could do about that now. Getting all that sorted in Houston—a vast international metropolis—in a couple of days would be just as good as, and maybe better than, doubling back into Waco and trying to track down the relevant officials—assuming there even were any in Waco—to stamp their passports.