Error correction in web.xml