small updates and typos