Index: /trunk/ccl/lisp-kernel/x86-gc.c
===================================================================
--- /trunk/ccl/lisp-kernel/x86-gc.c	(revision 5954)
+++ /trunk/ccl/lisp-kernel/x86-gc.c	(revision 5955)
@@ -2381,5 +2381,5 @@
       fprintf(stderr,"\n\n;;; Starting full GC");
     }
-    fprintf(stderr, "%ld bytes allocated.\n", area_dnode(a,oldfree));
+    fprintf(stderr, ",  %ld bytes allocated.\n", area_dnode(oldfree,a->low) << dnode_shift);
   }