Small tweak, JavaDocs.