Correcting names in recursive calls