revert button (which doesn't work thanks to #2162)