Minor documentation patches, due mostly to