Revisions and fixing typos