More doc improvements. Enough!