Minor refinements to Shiny widget.