small additions to GUI