Some minor doc (and conceptual) changes.