small but numerous typos and error fixes. Each one was minor but the sheer number of them warranted a quick update. No new actual content.