More minor doc changes