typos

some typos and tiny fixes.