documentation: some more fixes from Michael Clements