Fix syntax error in web.xml