Re: more typo fixes

[Neil Jerram]

Brian Gough <b...@network-theory.co.uk> writes:

> More spelling corrections and fixes for doubled words (e.g. "the the")

Thanks, these are all great.

        Neil