fix web.xml