fix minor bug in header output