Ammended a few typos