minor modifications to GUI