Details and typos