Fixing typo in JavaDoc