Typo & nit fixes.

JH has made more changes than he realised.  New second JH/11 to JH/13.