Some doc improvements