print a header