On Thu, Feb 01, 2007 at 11:08:20PM +0100, Denis Vlasenko wrote: > The below version should fix that (and even mostly fit > into 80 column displays). Can you try it? Tried it, and it looks like it's working fine. Thanks, Gabriel