WooCommerce - Add category name after result count

<?php
  // Add category name after result count
  // add this in result-count.php before the last line:
  // the edited file goes at:
  // wp-content/themes/my-theme-name/woocommerce/loop/result-count.php
  if (is_product_category()) {
    global $wp_query;
    $cat = $wp_query->get_queried_object();
    echo ' for '.print_r($cat->name, true);
  }
?>