Akim Demaille Mon, 16 Oct 2000 01:32:53 -0700
Since this patch is trivial, and since I was wandering around here, I applied it. Akim
