I think we should still have header=True to avoid confusion of which coordinate is which. If we require it for input we might as well output it too.