Little fix in javadoc