several doc improvements