fixing typos, general clarifications, more to come