be more careful about when to print header; #1