Fixing typos and adding clarifications