(sorry for the delay, I was on holiday...)

> Yes; approved.  However, before you commit this, please correct the
> following minor issues:

Thanks. Applied after making the small adjustments you pointed out.
Since I also found a couple of typos, I fixed them too. Here is the
change I ended up committing.

Shall I go ahead, and commit this change to the branch too?

-- 
Joel