Minor refinements in AmpSim.gui.