Some small doc improvements