java doc minor change