Small GUI tweak