Minor fix in javadoc