Typos and documentation updates.