Fix latex export