new header stuff for pretty printing and hiding