Mostly minor doc improvements.