Dealing with the yet unlikely event of a header line