Minor cosmetic fixes in GUI (overlapping labels)