Clarified some points, typos