minor doc touchups