#903 use nicer names for the buttons - thanks @gashcrumb for the suggestion!