Hi Ludo,

I've pushed this as b0a372637f683eae35802af93d67711c3a18e480.

Thank you everyone for the feedback!  And thank you to Hartmut for
calling out the problem!

-- 
Chris