Thanks!

(Magit made me too fast again and I pushed the wrong branch... I think I cleaned
up the mess though.)

-- 
Pierre Neidhardt