Tweak header in parser1.l