minor update to web.xml