small change in web.xml