Minor changes to Javadoc comments in HeaderTool