minor gui tweak