minor GUI polishing