Numerous fixes (mostly for typos).