v. minor further dox fixes on master: not worth a PR