WooCommerce - Change product tabs

<?php
  // WooCommerce - Change product tabs
  // code goes in functions.php for your child theme
  // NB the code in the WooCommerce docs fails if a tab does not exist
  add_filter( 'woocommerce_product_tabs', 'custom_product_tabs', 98 );
  function custom_product_tabs( $tabs ) {
    if( isset($tabs['description']) ) {
      $tabs['description']['title'] = __( 'Models' );
      $tabs['description']['priority'] = 10;
    }
    if( isset($tabs['additional_information']) ) {
      $tabs['additional_information']['title'] = __( 'Dimensions' );
      $tabs['additional_information']['priority'] = 5;
    }
    return $tabs;
  }