WooCommerce Extra Product Options fix?

<?php

// Add to your (child) theme's functions.php

add_filter( 'facetwp_is_main_query', function( $is_main_query, $query ) {
    if ( 'tm_global_cp' == $query->get( 'post_type' ) ) {
		$is_main_query = false;
    }
    return $is_main_query;
}, 10, 2 );