QuickBug: GUI improvements.