JavaDocs bug fix