Documentation tweaks. Minor cleanup