Fixing typo in java doc