--- statistics.c	2007-11-10 17:35:28.000000000 +0200
+++ statistics.c	2007-11-10 17:36:00.000000000 +0200
@@ -291,7 +291,7 @@
 
 void process_fd(FILE *f)
 {
-    char buf1[1024], buf2[1024];
+    char buf1[2048], buf2[2048];
     char *sp, *np, *p;
     while (fgets(buf1, sizeof buf1, f)) {
 	int endflag;