Fix typo in web.xml