Fix of web.xml