Small change in name assignment to post-processed baby-trees