//within print_category_info function, around line 1897 } else { echo ''; echo ''; if ($depth) { $indent = $depth*20; print_spacer(10, $indent, false); } echo ''. format_string($category->name).''; if (count($courses)) { $strcourse = get_string('course'); if(count($courses) > 1) { $strcourse = get_string('courses'); } echo ' - '. count($courses). ' '. $strcourse; } echo ''; } echo '';