WooCommerce - Change Shop page title

<?php
  // Change Shop page title
  // code goes in functions.php for your child theme
  // used for themes that use a product title for the shop page title
  add_filter('post_type_archive_title', 'shop_page_title' );
  function shop_page_title( $title ) {
    if( $title == __('Products', 'woocommerce')) {
      $shop_page_id = woocommerce_get_page_id( 'shop' );
      $page_title = get_the_title( $shop_page_id );
      return $page_title;
    }
    return $title;
  }