Issue #7969 by tj: Added header