Minor GUI server changes