web.xml fixes