Some minor details in GUI