Minor fix for incorrect class name in JavaDoc