Shortcode in Shop Description

I have WooCommerce installed and use the shop description from the settings within the theme options. I need to place a [shortcode] inside the description but it is not being executed.

For the product categories (they share the same layout as the shop description) I use this code inside my functions.php to make shortcodes work:

add_filter( 'product_cat_description', 'do_shortcode' );

What is the correct filter to enable shortcodes for the shop description as well? Any help is appreciated. Thanks!