WebUI: more cleanup.