diff --git a/gtk2_ardour/processor_box.cc b/gtk2_ardour/processor_box.cc
index dd8a2e957f..016379493c 100644
--- a/gtk2_ardour/processor_box.cc
+++ b/gtk2_ardour/processor_box.cc
@@ -433,7 +433,7 @@ ProcessorEntry::Control::Control (Glib::RefPtr<Gdk::Pixbuf> s, Glib::RefPtr<Gdk:
 	} else {
 		
 		_slider.set_name ("PluginSlider");
-		_slider.set_size_request (-1, 16);
+		_slider.set_size_request (-1, 13);
 		_slider.set_text (_name);
 
 //		box.pack_start (_label);
diff --git a/gtk2_ardour/rc_option_editor.cc b/gtk2_ardour/rc_option_editor.cc
index a6bb807613..bf2624970b 100644
--- a/gtk2_ardour/rc_option_editor.cc
+++ b/gtk2_ardour/rc_option_editor.cc
@@ -532,7 +532,7 @@ public:
 		_dpi_adjustment (50, 50, 250, 1, 10),
 		_dpi_slider (_dpi_adjustment)
 	{
-		_dpi_adjustment.set_value (_rc_config->get_font_scale () / 1024);
+		_dpi_adjustment.set_value (floor (_rc_config->get_font_scale () / 1024));
 
 		Label* l = manage (new Label (_("Font scaling:")));
 		l->set_name ("OptionsLabel");
@@ -551,7 +551,7 @@ public:
 	void parameter_changed (string const & p)
 	{
 		if (p == "font-scale") {
-			_dpi_adjustment.set_value (_rc_config->get_font_scale() / 1024);
+			_dpi_adjustment.set_value (floor (_rc_config->get_font_scale() / 1024));
 		}
 	}
 
@@ -1747,7 +1747,6 @@ RCOptionEditor::RCOptionEditor ()
 	_mixer_strip_visibility.add (0, X_("SoloSafe"), _("Solo Safe"));
 	_mixer_strip_visibility.add (0, X_("SoloIsolated"), _("Solo Isolated"));
 	_mixer_strip_visibility.add (0, X_("Comments"), _("Comments"));
-	_mixer_strip_visibility.add (0, X_("Group"), _("Group"));
 	_mixer_strip_visibility.add (0, X_("MeterPoint"), _("Meter Point"));
 	
 	add_option (