minor improvements to GUI