DOC: minor doc corrections