small typos, some clarification