Corrected a few typos, simplified some language