Hi all,

attached is a tiny patch for the new latex exporter that fixes a small
typo.

Regards,
Andreas