Hello @Joost van Kempen,
Also you can delete woocommerce/checkout/review-order.php file to fix issue with double buttons on the Checkout page.
Regards, Robert Hall.