small cosmetic change to make the GUI consistent