minor final fixes on document.