--- a/src/cm/media/js/client/f_printDialog.js	Mon Feb 22 22:30:38 2010 +0100
+++ b/src/cm/media/js/client/f_printDialog.js	Mon Feb 22 23:06:24 2010 +0100
@@ -6,7 +6,7 @@
             {'actions':['export'], 'extension':'html', 'label': gettext('download html file (.html)')},
             {'actions':['print', 'export'], 'extension':'markdown', 'label': gettext('download markdown file (.mkd)')},
             {'actions':['print', 'export'], 'extension':'pdf', 'label': gettext('download portable object format file (.pdf)')},
-            {'actions':['print', 'export'], 'extension':'tex', 'label': gettext('download latex file (.tex)')},
+            {'actions':['print', 'export'], 'extension':'latex', 'label': gettext('download latex file (.tex)')},
             {'actions':['print', 'export'], 'extension':'odt', 'label': gettext('download open document file (.odt)')}] ;