Minor JavaDoc fix.