A few additions and fixed typos