minor fixes for gui