a couple of typos and minor mistakes that I just caught