JavaDoc fix.