really minor doc update