minor improvements to web.dispatch