Activity Log removes Save Settings button in WooCommerce

Hi there,

After installing Activity Log on my site that also has WooCommerce, the settings button of WooCommerce went missing.

As soon as I deactivated Activity Log, the button got back.

This is the code in WooCommerce that hides the button:

<?php if ( empty( $GLOBALS['hide_save_button'] ) ) :  ?>
	<input name="save" class="button-primary woocommerce-save-button" type="submit" value="<?php esc_attr_e( 'Save changes', 'woocommerce' ); ?>" />
<?php endif; ?>

found in: /wp-content/plugins/woocommerce/includes/admin/views/html-admin-settings.php

In same file I added the following code:

<?php echo('Hide_Save_Button:' . $GLOBALS['hide_save_button']); ?>

And when Activity Log is active this is the result:

Hide_Save_Button:1

Otherwise it is empty

The page I need help with: [log in to see the link]