small fix in UI, minor