Gui updates

A set of minor GUI related updates