fixed a few typos in documentation