minor fix web.xml