web-ui: cosmetic changes