minor doc adjustment