Fix bug in web.xml