minor doc improvements