> Hey, > > I'm re-sending this patch, since the corrected version was only sent by > mistake to Miguel, Paolo and Ben. > > Ben, I applied your change, do you think it's ok? > As I remember, I had no other objections to the patch. -- Ben