Changed a few lines in the main doc