fixing typo in web.xml sample