Typos, smaller enhancements, and final touches.