a couple of another trivial typos