slight tweak for #10602 where Dieter wants less space between the buttons