Small change in web.xml file