Oops, didn't double-space the sentence ending (again!). Fixed in this
copy.

-----