Minor doc touchup