Another minor doc update