Small fix in web.xml