small fix in proxy_userinterface