small improvements, typos removed