Bug in HeaderTool

Thank you very much.

D.