minor bug fix in gui