(minor doc updates)