Fix a bug in header() returning too few columns, introduced during 1.11.7