--- TeXmacs-1.0.6.10-src/src/Window/PsDevice/printer.cpp.psfix	2007-06-29 17:14:12.000000000 +0200
+++ TeXmacs-1.0.6.10-src/src/Window/PsDevice/printer.cpp	2007-06-29 17:15:07.000000000 +0200
@@ -138,7 +138,6 @@ printer_rep::~printer_rep () {
 	   << "TeXDict begin\n";
   if (page_type != "user") {
     prologue << "%%BeginPaperSize: " << page_type << "\n";
-    prologue << page_type << "\n";
     prologue << "%%EndPaperSize\n";
   }
   if (landscape)