Minor typos, documentation updates.