Made a few correction in the docs