some update to web.xml