Another minor doc update.