web interface: minor cleanup