More doc touchups