Minor updates and typos