hopefully fixed rare GUI related crash