Typos and fixes

Not much, just typos and fixes.