Given that you need to give names to all the bit here, I wonder if it would make more sense to just inline `header` here.