oops. sorry about the duplicate posts - gmail was not working for a while, and I didn't realize that the message was actually posted since it crashed while posting. Anyway, it seems i do have commit access, so I committed the patch myself. cheers --alan