Various doc improvements.