some typos, clarificaitons