web.xml fix