update to web.xml