> If there are no objections, I will commit your patch (with the above > polishing touches). +1 from me. Please commit as soon as it's convenient for you. Thank you guys! -- Francesco