various GUI tweaks and other stuff.