Daniel Jacobowitz wrote:
> This is fine, except you lost the explanatory comment.  OK with that
> readded.  Thanks!

Quite right, silly mistake.

I've committed the attached.

Andrew