web interface: improvements to RESTful web API