JavaDoc fix