Very minor doc update