Minor JavaDoc fix