Michael,

I've pushed the patch, tell me if anything's wrong.

-- 
           Julien