Made a small change to the documentation