various small doc improvements