Updated Tex version to match final grammar