It appears that header names with char-sequence type are being tokenized correctly for now.