minifix in javadoc