Fix some typos, add minor explanations