Small GUI-related fixes.