--- src/print.c.patched Sun Jun 19 12:20:41 2005
+++ src/print.c Sun Jun 19 12:23:25 2005
@@ -2957,10 +2957,10 @@
with all configurations. */
if (i > 0)
i--;
- fprintf(fp, "\n"
- " \n"
+ fprintf(fp, "\n %s %s \n"
- "%s \n"
- "\n"
+ " \n\n"
"%s \n %s \n"
+ " %s \n"
+ "