some typos, comments, etc