Fix typos, add small clarifications