minor doc-fixes