Merge two minor doc changes into default.