additions and typos