let's see what this button does ...

This should fix the merge issue from some months ago.