correction in web.xml