Javadocs fixes (a copy-paste error)