In a recent article, M. Kol~i[ and M. K. All study the polynomial trace map for products of matrices associated
with substitutive sequences on a two-letter alphabet, the existence of which has been proved by J.-P.