Expressltexx: Update header (?)