Small GUI change

Fixed an inconsistency in the GUI