#608: button renamed.