Fixing some typos, updating some things