fix web.xml syntax error