a few minor things in uiutils.c