typos and minor clarifications