Fix bug in javadoc.