Clarifying a couple of things, fixing typos