minor doc update