Jenkins button tweaks.