Tiny GUI consistency fix.