WEBUI: small cosmetic changes