  We prove a high energy flat trace estimate for the modified resolvent of the
generator of an Anosov flow. This fills a gap in the proof of the local trace
formula in [Jin-Zworski '17] and is a by-product of the authors' ongoing
project of its generalization to Axiom A flows.
