fix a wrong java doc