java: minor typo in comment