Updates and typos

Fixed a few typos and other small stuff. It's good this is finally published.