More proofreading, long after the fact, mostly for extended article.