Made a small change to the JavaDocs