More minor doc improvements