Three small doc touchups.