a small improvement in GUI