Some minor GUI changes