--- stack/symbols.c	2003/08/12 07:15:29	1.7
+++ stack/symbols.c	2003/08/13 06:12:26	1.8
@@ -1600,11 +1600,11 @@
 
 extern void copying(environment *env)
 {
-  printf(license_message);
+  puts(license_message);
 }
 
 
 extern void warranty(environment *env)
 {
-  printf(warranty_message);
+  puts(warranty_message);
 }