Hi Jaques, thanks for reviewing.  I would like to wait for more comments before pushing a change, to minimize number of changes.  (Especially when the proposed checkin is so small.)