typos and minor additions