Minor typos and changes

Not sure what is the best way to contribute these.