fix simple typo in web.xml