Minor GUI stuff.