Hi Ludo,

OK!  I've committed this as 4f95a1183452cbecd66fbf99323ed0d15f20a60d.

-- 
Chris