hmm, maybe we can't call header_out() more than once