diff -up TeXmacs-1.0.6.12-src/src/Graphics/Renderer/printer.cpp.psfix TeXmacs-1.0.6.12-src/src/Graphics/Renderer/printer.cpp
--- TeXmacs-1.0.6.12-src/src/Graphics/Renderer/printer.cpp.psfix	2007-11-05 19:24:01.000000000 +0100
+++ TeXmacs-1.0.6.12-src/src/Graphics/Renderer/printer.cpp	2007-11-05 19:24:20.000000000 +0100
@@ -124,7 +124,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)