various doc improvements