minor JavaDoc fix