bug fix in GUI